Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_26 (Sun Microsystems Inc.) Main-Class: simple/mirrorInterv/Main

package simple.mirrorInterv;

public class Main {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		MirrorInterv.loop(args.length);
	}

}


package simple.mirrorInterv;

public class MirrorInterv {

	/*

	 */
	public static void loop(int i) {
		int range = 20;
		while (-range <= i & i <= range) {
			if (range-i < 5 || range+i < 5) {
				i = i*(-1);
			} else {
				range++;
				i--;
				if (i == 0) {
					range = -1;
				}
			}
		}
		
	}
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 5 and 56 are repetitions.
0:

<simple.mirrorInterv.Main.main||0: load ADDR args||args: a590|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

1:

<simple.mirrorInterv.Main.main||1: arraylength|| - ||a590>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

2:

<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop(I)V|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

3:

<simple.mirrorInterv.MirrorInterv.loop||0: push 20||i: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

4:

<simple.mirrorInterv.MirrorInterv.loop||2: store INT to range||i: 20||20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

5:

<simple.mirrorInterv.MirrorInterv.loop||3: load INT range||i: 20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

6:

<simple.mirrorInterv.MirrorInterv.loop||4: NEG||i: 20, range: 20||20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

7:

<simple.mirrorInterv.MirrorInterv.loop||5: load INT i||i: 20, range: 20||-20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

8:

<simple.mirrorInterv.MirrorInterv.loop||6: GT||i: 20, range: 20||-20, 20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

9:

<simple.mirrorInterv.MirrorInterv.loop||9: push 1||i: 20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

10:

<simple.mirrorInterv.MirrorInterv.loop||10: jmp||i: 20, range: 20||1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

11:

<simple.mirrorInterv.MirrorInterv.loop||14: load INT i||i: 20, range: 20||1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

12:

<simple.mirrorInterv.MirrorInterv.loop||15: load INT range||i: 20, range: 20||1, 20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

13:

<simple.mirrorInterv.MirrorInterv.loop||16: GT||i: 20, range: 20||1, 20, 20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

14:

<simple.mirrorInterv.MirrorInterv.loop||19: push 1||i: 20, range: 20||1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

15:

<simple.mirrorInterv.MirrorInterv.loop||20: jmp||i: 20, range: 20||1, 1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

16:

<simple.mirrorInterv.MirrorInterv.loop||24: AND||i: 20, range: 20||1, 1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

17:

<simple.mirrorInterv.MirrorInterv.loop||25: EQ 0||i: 20, range: 20||1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

18:

<simple.mirrorInterv.MirrorInterv.loop||28: load INT range||i: 20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

19:

<simple.mirrorInterv.MirrorInterv.loop||29: load INT i||i: 20, range: 20||20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

20:

<simple.mirrorInterv.MirrorInterv.loop||30: SUB||i: 20, range: 20||20, 20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

21:

<simple.mirrorInterv.MirrorInterv.loop||31: push 5||i: 20, range: 20||0>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

22:

<simple.mirrorInterv.MirrorInterv.loop||32: LT||i: 20, range: 20||0, 5>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

23:

<simple.mirrorInterv.MirrorInterv.loop||42: load INT i||i: 20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

24:

<simple.mirrorInterv.MirrorInterv.loop||43: push -1||range: 20||20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

25:

<simple.mirrorInterv.MirrorInterv.loop||44: MUL||range: 20||20, -1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

26:

<simple.mirrorInterv.MirrorInterv.loop||45: store INT to i||range: 20||-20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

27:

<simple.mirrorInterv.MirrorInterv.loop||46: jmp||i: -20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

28:

<simple.mirrorInterv.MirrorInterv.loop||3: load INT range||i: -20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

29:

<simple.mirrorInterv.MirrorInterv.loop||4: NEG||i: -20, range: 20||20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

30:

<simple.mirrorInterv.MirrorInterv.loop||5: load INT i||i: -20, range: 20||-20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

31:

<simple.mirrorInterv.MirrorInterv.loop||6: GT||i: -20, range: 20||-20, -20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

32:

<simple.mirrorInterv.MirrorInterv.loop||9: push 1||i: -20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

33:

<simple.mirrorInterv.MirrorInterv.loop||10: jmp||i: -20, range: 20||1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

34:

<simple.mirrorInterv.MirrorInterv.loop||14: load INT i||i: -20, range: 20||1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

35:

<simple.mirrorInterv.MirrorInterv.loop||15: load INT range||i: -20, range: 20||1, -20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

36:

<simple.mirrorInterv.MirrorInterv.loop||16: GT||i: -20, range: 20||1, -20, 20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

37:

<simple.mirrorInterv.MirrorInterv.loop||19: push 1||i: -20, range: 20||1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

38:

<simple.mirrorInterv.MirrorInterv.loop||20: jmp||i: -20, range: 20||1, 1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

39:

<simple.mirrorInterv.MirrorInterv.loop||24: AND||i: -20, range: 20||1, 1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

40:

<simple.mirrorInterv.MirrorInterv.loop||25: EQ 0||i: -20, range: 20||1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

41:

<simple.mirrorInterv.MirrorInterv.loop||28: load INT range||i: -20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

42:

<simple.mirrorInterv.MirrorInterv.loop||29: load INT i||i: -20, range: 20||20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

43:

<simple.mirrorInterv.MirrorInterv.loop||30: SUB||i: -20, range: 20||20, -20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

44:

<simple.mirrorInterv.MirrorInterv.loop||31: push 5||i: -20, range: 20||40>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

45:

<simple.mirrorInterv.MirrorInterv.loop||32: LT||i: -20, range: 20||40, 5>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

46:

<simple.mirrorInterv.MirrorInterv.loop||35: load INT range||i: -20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

47:

<simple.mirrorInterv.MirrorInterv.loop||36: load INT i||i: -20, range: 20||20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

48:

<simple.mirrorInterv.MirrorInterv.loop||37: ADD||i: -20, range: 20||20, -20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

49:

<simple.mirrorInterv.MirrorInterv.loop||38: push 5||i: -20, range: 20||0>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

50:

<simple.mirrorInterv.MirrorInterv.loop||39: GE||i: -20, range: 20||0, 5>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

51:

<simple.mirrorInterv.MirrorInterv.loop||42: load INT i||i: -20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

52:

<simple.mirrorInterv.MirrorInterv.loop||43: push -1||range: 20||-20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

53:

<simple.mirrorInterv.MirrorInterv.loop||44: MUL||range: 20||-20, -1>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

54:

<simple.mirrorInterv.MirrorInterv.loop||45: store INT to i||range: 20||20>
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

55:

<simple.mirrorInterv.MirrorInterv.loop||46: jmp||i: 20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

56:

<simple.mirrorInterv.MirrorInterv.loop||3: load INT range||i: 20, range: 20|| ->
<simple.mirrorInterv.Main.main||2: simple.mirrorInterv.MirrorInterv.loop|| - ||20>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a588
	String.CASE_INSENSITIVE_ORDER: o295
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o295!: String$CaseInsensitiveComparator()
	a588([java.io.ObjectStreamField|]): length 0
	a590([java.lang.String...]): length 20

(2) NO